Nuprl Lemma : le_to_lt 13,42

ij:. (i  j (i < (j+1)) 
latex


Upint 2, int 2
Definitions, t  T, False, A, P  Q, P  Q, P & Q, A  B, P  Q, x:AB(x)
Lemmasle wf

origin